Knihy od autora Byron Cook

Zobrazeno 1 – 3 z 3 výsledků

1. 

   Formal Methods for Industrial Critical Systems

   María Alpuente, Byron Cook, Christophe Joubert | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
2. 

   Computer Aided Verification

   Tayssir Touili, Byron Cook, Paul Jackson | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   50 % šance - Prohledáme celý svět

   Jazyk: Angličtina

   Vazba: Brožovaná

   2816 Kč

   Koupit
3. 

   Verification, Model Checking, and Abstract Interpretation

   Byron Cook, Andreas Podelski | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit

Máte na výběr ze mnoha způsobů platby za váš nákup. Zjistěte více